2301. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
2302. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
170
2303. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
230
2304. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
2305. theory-Hybrid logic and its proof
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Logic, Symbolic and mathematical. ;
2306. tractatus logico-Philosophicus. The German text Logisch-Philosophische Abhandlung
پدیدآورنده : / with a new translation by D. F. Pears
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Languages - Philosophy
رده :
BC135
.
W5
1961
2307. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
2308. λ-Calculus and Computer Science Theory :
پدیدآورنده : edited by C. Böhm. B�ohm, C.,
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
2309. تقابل منطق قدیم وجدید
پدیدآورنده : / هنری ویچ,ویچ,Veatch
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقالهها و خطابهها, -- Addresses, essays, lectures, -- مقالهها و خطابهها, -- Addresses, essays, lectures,a02,a02,a05,a05
رده :
BC
۷۸
/
م
۹
و
۹ ۱۳۹۸
2310. تقابل منطق قدیم وجدید: (جستا‌رها‌یی مقا‌یسه‌ای در فلسفه و منطق)
پدیدآورنده : هنری ویچ ترجمه آرش جمشیدپور
کتابخانه: کتابخانه مدرسه علمیه عالی نواب (خراسان رضوی)
موضوع : منطق -- مقالهها و خطابهها,Addresses, essays, lectures -- Logic,منطق ریاضی -- مقالهها و خطابهها,Addresses, essays, lectures -- Logic, Symbolic and mathematical
رده :
BC
۷۸
/
و
۹،
ت
۷
2311. درآم‍دی به منطق جدید
پدیدآورنده : / نویسنده: ض‍ی‍اء م‍وح‍د.,ص. ع. ب‍ه‌ان‍گ‍ل‍ی‍س‍ی:Zia Movahhed. An introduction to modern logic.,م‍وح‍د
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۸۵
د
۴ ۱۳۶۸
2312. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
پدیدآورنده : / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century,a02,a02,a03,a03,a01,a01,a04,a04
رده :
B
۳۳۷۶
/
و
۹
ر
۵ ۱۳۹۹
2313. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
پدیدآورنده : / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century
رده :
B
۳۳۷۶
/
و
۹
ر
۵۲ ۱۴۰۰
2314. مبحثی در منطق ریاضی
پدیدآورنده : / شاسی‌موهان سریواستاوا,A course on mathematical logic, ]2013].
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : منطق ریاضی -- کتاب‌های درسی,Textbooks -- Logic, Symbolic and mathematical
رده :
۵۱۱
/
۳
س
۵۲۶
م
2315. م‍دخ‍ل منطق صورت، ی‍ا، منطق ریاضی
پدیدآورنده : / ن‍گ‍ارش غ‍لام‍ح‍س‍ی‍ن م‍ص‍اح‍ب.,م‍ص‍اح‍ب
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
2316. مقدمه‌ای بر منطق جدید
پدیدآورنده : / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern,a02,a02,a01,a01
رده :
۵۱۱
/
۳
الف
۶۹۶
م
2317. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2318. منطق ریاضی
پدیدآورنده : / تالیف منیره پیمان,پیمان
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01,a01
رده :
QA
۹
/
پ
۹
م
۸
2319. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: کتابخانه مرکزی مجتمع آموزش عالی امام خمینی (ره) - جامعة المصطفی (ص) العالمیة (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2320. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸
